Symbolic Logic: A Razor-Edged Tool for Drafting and Interpreting Legal Documents

A Software Tool for Legal Drafting

Although many attempts at automated aids for legal drafting have been made, they were based on the construction of a new tool, completely from scratch. This is at least curious, considering that a strong parallelism can be established between a normative document and a software specification: both describe what an entity should or should not do, can or cannot do. In this article we compare norm...

Logic-Based Tools for Legal Contract Drafting: prospects and problems

Much of the research in the Artificial Intelligence and Law community has been concerned with the representation of legislation and regulations with a view to provide advisory systems for policy makers, legal practitioners and the general public. A considerable amount of research in Artificial Intelligence and Law focused on logic-based representations of legislation and regulations (for a comp...

Techniques for Automated Drafting of Judicial Documents

Document drafting is an essential component of judicial problem solving. This paper distinguishes several classes of judicial documents based on (1) the stage of the judicial process in which they are created, (2) the complexity of the documents, and (3) the party who drafts the documents: a judge, judicial support personnel, or a litigant. Three approaches to automated document drafting are id...

Toward a new language of legal drafting

Lawyers should write in document markup language just like web developers, digital publishers, scientists, and almost everyone else.

Logic and Elements. (Premises and Conclusions: Symbolic Logic for Legal Analysis)."